2025-06-14 会
主に数学の発表を する だろう
自分の内容 #2025-06-14_会_自分の発表
結局、『等長地図はなぜできない』（曲面論の本）が採択されなかったので、かわりに発表のタネ本に したい。
あるいは TaPL
あるいは 位相と論理